try to fix coverage on travis