can now stop via Ctrl-C