fix texlive build, older files were removed on debian servers
Merge pull request #1310 from aristidb/master

fix texlive build, older files were removed on debian servers