tweaks for Makefile