try to fix CI