string banner = "AMR driver provided by AMReX " + amrex::Version();

  string banner =
      "AMR driver provided by CarpetX, using AMReX " + amrex::Version();