Make sure the KeyBoardInterrupt exception reaches main()