there is some annoying and (as far as i can tell) unrelated flakiness in CI