method load_file f =
      self#execute_file f;
      file <- Some f;
      param#main#set_title (param#window_title_prefix^": "^f)