[cvs-nhc98] Rename mkX -> nhc_mkX.