Small addition to Makefile