Force phpize to use correct php-config binary