slightly adapt Makefile