more php-config tweaks