The file define.ml does not contain any hard-coded paths anymore. These are autogenerated in paths.ml.