test only on PHP 5.5