remove old hack in setup.ml