Tweaking the check for PHP 5.3.3. See #1300.