Update setup.ml