fix ci script after reverting deletion of one of them