fix core-map.rs benchmark