Fix to builtin Makefile