ctrl-c once does nothing, ctrl-c twice kills everything, closes #145