tri_tritri is not found!