Minor tweaks to php.ini