Anyone know where the save file is stored on the Linux version? And can a save file from windows be ported over, or is the save file format different between OS's?