Makefile: Changing Makefile means executables need to be regenerated too