Such optimisations should not be performed in this Makefile. Also, uqs@ suggested they have no effect, because the checksum of the resulting binary is unchanged. Discussed with: gabor, uqs
