Try to fix coverage support in Travis