Makefile now produces optimized binary on request.