Fix the make filenames