Fix bad generation of deps.ml.