allow killing with ctrl+c