Fix the top level makefile