Fix the test, so that it also runs in PHP 5.3.x.