process pool now catches keyboardinterrupt cleanly.