Fix CI configuration... and one more