Allowing env.abort_exception to affect KeyboardInt