Attempt to fix CI build