changed signal handling to not catch Ctrl-C anymore