Fix CI configuration... for the last time