std::io: Swallow EndOfFile inside read_line