Fixed nasty bug (remaining process after SIGINT)