disable coverage reporting for the moment; it seems broken