Also test with PHP 5.5