std::ifstream's EOF bit is not something to be worry about when the preceding operation was reading to the EOF