Rename HiMCM.tex to himcm.tex