Update setup.ml based on _oasis