Makefile: tweaks