Linux launcher patch

There was a problem with the Steam launcher of the Linux version. It is now solved. (Many thanks to Richard Lloyd)