Name fix

Author: TGWDB

src/util/piped_process.cpp

@@ -117,7 +117,7 @@ piped_processt::piped_processt(const std::vector<std::string> commandvec)
   sec_attr.lpSecurityDescriptor = NULL;
   // Use named pipes to allow non-blocking read
   // Build the base name for the pipes
-  std::string base_name = "\\\\.\\pipe\\cbmc\\SMT2\\child\\";
+  std::string base_name = "\\\\.\\pipe\\cbmc\\child\\";
   // Use process ID as a unique ID for this process at this time.
   base_name.append(std::to_string(GetCurrentProcessId()));
   const std::string in_name = base_name + "\\IN";