Fix setup.ml