get rid of some noise in the Makefile