Get Jenkins PHP version from compile.sh