switch to overriding php-config