Fix Makefile due to changed comment filenames