Fix Python bug where pool does not abort via KeyboardInterrupt