let dump conf cache =
match cache_filename conf with
| Some fn ->
begin
try
let chn = open_out fn in
Marshal.to_channel chn cache [];
close_out chn
with _ ->
()
end
| None ->
()