1 files changed, 2 insertions, 2 deletions
diff --git a/main.cxx b/main.cxx
index b97d0092..d8c780c2 100644
--- a/main.cxx
+++ b/main.cxx
@@ -486,8 +486,8 @@ main (int argc, char * const argv [])
 
   s.buffer_size = 0;
   s.last_pass = 5;
-  s.module_name = "stap_" + stringify(getpid());
-  s.stapconf_name = "stapconf_" + stringify(getpid()) + ".h";
+  s.module_name = "stap_" + lex_cast(getpid());
+  s.stapconf_name = "stapconf_" + lex_cast(getpid()) + ".h";
   s.output_file = ""; // -o FILE
   s.keep_tmpdir = false;
   s.cmd = "";