fix CI options