Small fixes in makefiles