attempt to fix a strange failure in CI