Fix issues with the settings cache when running setup on systems running Zend OpCache