Fix bug in makefile