test on PHP 5.5 as well