rather than line=="", wrap std::getline in while