I've just downloaded the KSP zipfile for linux, unzipped it and launched KSP. All working fine so far. But I've noticed that the unzipped directory contains duplicate files: a KSP.exe and Launcher.x86 that are identical, and similarly a KSP_64.exe and Launcher.x86_64 . Is there a reason for this duplication? Did a symbolic link accidentally get transformed into a real file at some point? Is it safe for me to delete one of the duplicates (which one?) and replace it with a symlink?