Fix profil_counter namespace (bug 17725).