do more cleanup on ctrl+c