make ctrl-c work in one go