Remove a stray generated tex file.