tools/jenkins-build.sh: pass the VIRTUALIZED env var to the make process