Also test against php5.5