update inc/php_configure.inc