attempt to fix CI