minor tweaks to the Makefile