handle ctrl-c more gracefully