Weberizer 0.7.5 (fix missing setup.ml)