Fix an issue with the Makefile