Hopefully the last fix to the Makefile