Suggestion: made ctrl-c not printing traceback