dajavu: nmod_mat_HNF() was incorrect, fixed