Fix CI configuration... for the last, last time