Rename CertIM.t to CertIM-10.tex