- rel 10; better keyboard interrupt handling