Also test on php 5.5