fix incompatibility with system "getline"