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