10.9 fix: copy constructor of std::map is explicit there...