Fix CI

This should get us past some failing CI runs.