Use size_t in std::string operations in IniFile.cpp, not int