fix coverage execution in travis