some Makefile tweaking