some insignificant Makefile tweaks