* web/code_map/server_codemap_parsing.ml: compiles again, CEs