can now KeyboardInterrupt nicely