Fix CI configuration... one more time