add translation of strcat to ml_hol_kernel