re-added non-default PHP 5.3 settings