* main_codemap.ml: remove some legacy code