behaviour for EOFError changed, to be the same as KeyboardInterrupt