fixup! Followed changes in CI scripts.