Actually use php-build script