Fixing some CI fun