do not strip executables (stripping breaks plugins on Mac)
do not strip executables (stripping breaks plugins on Mac)

As they say, "A penny saved is ridiculous."

ssaavedra/why3,ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,jpdeplaix/why3,jpdeplaix/why3,douglas-larocca/why3,douglas-larocca/why3,douglas-larocca/why3