Use UserInterrupt rather than our own Interrupted exception (#4100)