revert setup.ml to use oasis.dynrun