small fixes to Makefile