message: Remove "duplicate" parameter
  Summary: Use one source for the output directory. Allows changing the output directory on the fly in other work.
diff: @@ -911,13 +911,13 @@ void redex_frontend(ConfigFiles& conf, /* input */
  /**
  * Post processing steps: write dex and collect stats
  */
  -void redex_backend(const std::string& output_dir,
  - ConfigFiles& conf,
  +void redex_backend(ConfigFiles& conf,
  PassManager& manager,
  DexStoresVector& stores,
  Json::Value& stats) {
  Timer redex_backend_timer("Redex_backend");
  const RedexOptions& redex_options = manager.get_redex_options();
  + const auto& output_dir = conf.get_outdir();
  instruction_lowering::Stats instruction_lowering_stats;
  {
  @@ -1174,7 +1174,7 @@ int main(int argc, char* argv[]) {
  if (args.stop_pass_idx == boost::none) {
  // Call redex_backend by default
  - redex_backend(args.out_dir, conf, manager, stores, stats);
  + redex_backend(conf, manager, stores, stats);
  if (args.config.get("emit_class_method_info_map", false).asBool()) {
  dump_class_method_info_map(conf.metafile(CLASS_METHOD_INFO_MAP),
  stores);
  