Makefile: Allow to override "super optimization" options used for some files.

To help with debugging issue like #510 for example.