1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/POSIX/fd_init.c b/runtime/POSIX/fd_init.c
index a064e42b..adb1d9f6 100644
--- a/runtime/POSIX/fd_init.c
+++ b/runtime/POSIX/fd_init.c
@@ -49,7 +49,7 @@ static void __create_new_dfile(exe_disk_file_t *dfile, unsigned size,
   char sname[64];
   for (sp=name; *sp; ++sp)
     sname[sp-name] = *sp;
-  memcpy(&sname[sp-name], "-stat", 6);
+  memcpy(&sname[sp-name], "_stat", 6);
 
   assert(size);
 
@@ -106,7 +106,7 @@ void klee_init_fds(unsigned n_files, unsigned file_length,
                    unsigned stdin_length, int sym_stdout_flag,
                    int save_all_writes_flag, unsigned max_failures) {
   unsigned k;
-  char name[7] = "?-data";
+  char name[7] = "?_data";
   struct stat64 s;
 
   stat64(".", &s);