smooth handling of keyboardinterrupt