let default =
      { doBenchmark = False
      , doCheck = False
      , doJailbreak = True
      , enableProfiling = True
      , includeBenchmarks = True
      , includeExecutables = True
      , includeTests = True
      }

in  default