odd thing here, a KeyboardException ctrl-c doesn't get caught by the top level exception handler...