Actually rename latex generation file