Try to fix coverage shipping.