catch ctrl-c to quit properly (even if we dont care)