cleaning when ctrl-c