fixup filenames (config.h is in our .gitignore...)