Renamed tex file.