tools/jenkins-build.sh: fix path to directory