also test on php 5.5