fix jenkins.sh on linux
Merge pull request #42 from rhelmer/bug1015011-fix-php-tests

fix jenkins.sh on linux