Do not test under PHP 5.3.3.