Fix a bug with .makefile()