Fix CI configuration... again