Only generate coverage with PHP 5.5