if (_prevIncludePath == null) _prevIncludePath = "";
  public String setIncludePath(String path)  {    _prevIncludePath = getIniString("include_path");        setIni("include_path", path);    return _prevIncludePath;  }