xfce4-dev-tools PKGBUILD and patch (Was missing)