fix ci options