workaround b/c std::map<>::key_type does not get resolved