#204 run code coverage only for one PHP version