renamed tex files.