fix texlive build, older files were removed on debian servers