echo 'Some of the above modules are already compiled into PHP; please check' echo 'the output of "php -i" to see which modules are already loaded.' ...

# prefer user supplied CFLAGS, but default to our PHP_CFLAGS ...