update inc/php_configure.inc fix FILEINFOOPT variable