* Makefile: misc
* code_map/ui_navigation.ml: fix