tex files extracted from PKGBUILD