Also test against PHP 5.5