Adjust php-build