Require weberizer (>= 0.7.6): correct inclusion of .ml files.