Tiny fixes to Makefiles