--- backend/src/GlibIniConfigurator.cc.gcc 2010-04-30 17:36:21.000000000 +0200 +++ backend/src/GlibIniConfigurator.cc 2010-04-30 17:36:29.000000000 +0200 @@ -248,7 +248,7 @@ GlibIniConfigurator::split_key(const string &key, string &group, string &out_key) const { const char *s = key.c_str(); - char *slash = strchr(s, '/'); + const char *slash = strchr(s, '/'); if (slash) { group = key.substr(0, slash-s);