play nicer with keyboard interrupt