zsh: purge more latex filename extensions