Make sure php.ini is up-to-date