Run tests also on PHP 5.5