Why is this needed? Why can't you just let the KeyboardInterrupt go through?