Catch EOFError on ctrl-c exit
0.18.20