Also test with PHP 5.6