update inc/php_configure.inc for libtidy-devel