WITH_UCI default OFF