Patch to fix Makefile bugs