Minor tinkering with the Makefile