let wp_cfg_dot kf =
  let _cfg, dotfile = build_cfg ~do_dot:true kf in
    match dotfile with None -> assert false (* asked dot explicitly ! *)
      | Some dotfile -> dotfile