replace EOF with std::char_traits<char>::eof()#2756