update php.ini to allow loading zend extensions