ifstream now uses xxx.c_str()