Suggestion: do not print traceback on ctrl-c