Fix CI configuration... did I said again?