Only create coverage on PHP 5.5