use php-config to print configure info