tools/jenkins-build.sh: fix file to compress test