let do_loadscripts () =
  if !scriptfile = None then
    match Wp_parameters.Script.get () with
      | "" -> 
          let f = choose 0 in
          Wp_parameters.warning 
            "No script file specified.@\nYour proofs would be saved in '%s'@\nUse -wp-script '%s' to re-run them."
            f f ; 
          scriptfile := Some f
      | file ->
          try 
            parse_scripts file ;
            scriptfile := Some file ;
            dump_scripts (file ^ ".bak") ;
          with e ->
            Wp_parameters.abort 
              "Error in script file '%s':@\n%s" file
              (Printexc.to_string e)