[PHP-Build] Minor change to php-build script