cast const char* to c_str() in memmap_reader.cpp