--- ./src/Parsing.cc	2012-12-28 17:16:45.091129257 -0800
+++ ./src/Parsing.cc	2012-12-28 17:16:06.561124951 -0800
@@ -85,7 +85,7 @@
 GetInteger64(void)
 {
     char *token = strtok(NULL, w_space);
-    int i;
+    int64_t i;
 
     if (token == NULL)
         self_destruct();