Fix CI script again.