Makefile: small tweaks