Avoid using AUTO settings in CI builds