Small changes to the Makefile ...