utf8Macro.cmo: utf8MacroTable.cmo utf8Macro.cmi 
utf8Macro.cmx: utf8MacroTable.cmx utf8Macro.cmi