diff --git a/manticore/models/linux.py b/manticore/models/linux.py
index 0cda691..8d2eb9c 100644
--- a/manticore/models/linux.py
+++ b/manticore/models/linux.py
@@ -1534,8 +1534,9 @@ class Linux(object):
                      0x0000008c: self.sys_setpriority,
                      0x0000008d: self.sys_getpriority,
                      0x00000092: self.sys_writev32,
-                     0x000000c0: self.sys_mmap2, 
-                     0x000000c5: self.sys_fstat, 
+                     0x000000c0: self.sys_mmap2,
+                     0x000000c3: self.sys_stat64,
+                     0x000000c5: self.sys_fstat,
                      0x000000c7: self.sys_getuid,
                      0x000000c8: self.sys_getgid,
                      0x000000c9: self.sys_geteuid,