defaultOptions = Options
  { optBaseDir = "./piksi_firmware"
  , optOutputFile = "ecstatic-output"
  , optOnlyParse = False
  , optSimpleMode = False
  }
defaultOptions = Options
  { optBaseDir = "./piksi_firmware"
  , optOutputFile = "ecstatic-output"
  , optOnlyParse = False
  , optSimpleMode = False
  }
defaultOptions = Options
  { optBaseDir = "./piksi_firmware"
  , optOutputFile = "ecstatic-output"
  , optOnlyParse = False
  , optSimpleMode = False
  }