void constructargs(std::vector<std::string> args,
		     int * argc,
		     char ***argv) {
    if (args.size() < 1) {
      RVLException e;
      e<<"Error: constructargs\n";
      e<<"  input std::vector must have length > 0\n";
      throw e;
    }
    *argc = args.size()+1;
    *argv = new char*[*argc];
    (*argv)[0]=NULL;
    for (int i=0;i<*argc-1;i++) {
      (*argv)[i+1]=new char[args[i].size()+1];
      strcpy((*argv)[i+1],args[i].c_str());
      //      cerr<<"argv["<<i+1<<"]="<<(*argv)[i+1]<<"\n";
    }
  }

  void destroyargs(int argc, char ***argv) {
    for (int i=0;i<argc-1;i++) delete (*argv)[i+1];
    delete [] *argv;
  }