try to fix CI problem