I made v1.2.4 for linux available. This version does contain a bug with saving/loading that I fixed in v1.2.5, so if you run into issues with that, it might be best to reach out to the people who made the portmaster launcher. Or just play the game in one sitting, it's not too long!