Fix CI... really this time