coverage extension only in travis job