3 files changed, 3 insertions, 3 deletions
diff --git a/tools/klee-replay/file-creator.c b/tools/klee-replay/file-creator.c
index e103a39f..a1685a02 100644
--- a/tools/klee-replay/file-creator.c
+++ b/tools/klee-replay/file-creator.c
@@ -290,7 +290,7 @@ static int create_pipe(const char *fname, exe_disk_file_t *dfile,
   }
 }
 
-
+int futimes(int fd, const struct timeval tv[2]);
 static int create_reg_file(const char *fname, exe_disk_file_t *dfile,
                            const char *tmpdir) {
   struct stat64 *s = dfile->stat;
@@ -395,6 +395,7 @@ static void create_file(int target_fd,
 
 char replay_dir[] = "/tmp/klee-replay-XXXXXX";
 
+char *mkdtemp(char *template);
 void replay_create_files(exe_file_system_t *exe_fs) {
   unsigned k;
 
diff --git a/tools/klee-replay/klee-replay.h b/tools/klee-replay/klee-replay.h
index 5701caa5..47d63a47 100644
--- a/tools/klee-replay/klee-replay.h
+++ b/tools/klee-replay/klee-replay.h
@@ -9,11 +9,9 @@
 
 #ifndef KLEE_REPLAY_H
 #define KLEE_REPLAY_H
-
 #define _LARGEFILE64_SOURCE
 #define _FILE_OFFSET_BITS 64
 
-#include "klee/Config/config.h"
 // FIXME: This is a hack.
 #include "../../runtime/POSIX/fd.h"
 #include <sys/time.h>
diff --git a/tools/klee-replay/klee_init_env.c b/tools/klee-replay/klee_init_env.c
index b0b6e912..c697975e 100644
--- a/tools/klee-replay/klee_init_env.c
+++ b/tools/klee-replay/klee_init_env.c
@@ -1,3 +1,4 @@
+#define _LARGEFILE64_SOURCE
 #include "../../runtime/POSIX/klee_init_env.c"
 
 int __klee_posix_wrapped_main(int argc, char **argv, char **envp) { return 0; }