Config tweak for CI