numerical: get options in makefile right