adjust karma for CI