Kill ctrl-shift-Z on Linux. Fixes #34