really added pointer to nmod_mat_HNF.c