Fix CI build, another attempt