Add optimization to Makefile.defs

Makes KPP run about 2x faster, at least in a test case.
(Also 2 other unrelated tiny changes in this commit.)