let write file ff =
  try
    let chanout = open_out file in
    output_string chanout (current_version^"\n");
    Current.write chanout ff;
    close_out chanout
  with
    Sys_error s -> 
      raise (Failure s)