You should still be able to pause the game in the binary versions (inc. Linux), by pressing ENTER key to bring the menu up.
But yeah, no real "save game" mid-level, I'm afraid.
Thanks, good to know. :) I'll just plan ahead.
