Correct renaming of Mac launcher files