Ctrl-C now catched