Run tests also on PHP 5.6