Test under PHP 5.3 too