Index: trunk/FACT++/src/tools.cc
===================================================================
--- trunk/FACT++/src/tools.cc	(revision 19168)
+++ trunk/FACT++/src/tools.cc	(revision 19169)
@@ -392,2 +392,18 @@
     return rc;
 }
+
+#if (__GNUC__ == 4)
+
+namespace std
+{
+    string to_string(const size_t &val)
+    {
+        return to_string((long long unsigned int)val);
+    }
+
+    string to_string(const int &val)
+    {
+        return to_string((long long int)val);
+    }
+}
+#endif
Index: trunk/FACT++/src/tools.h
===================================================================
--- trunk/FACT++/src/tools.h	(revision 19168)
+++ trunk/FACT++/src/tools.h	(revision 19169)
@@ -55,6 +55,15 @@
         return sum2 << 8 | sum1;
     }
-
 }
 
+// Fix for gcc 4.7.7 at ISDC
+#if (__GNUC__ == 4)
+
+namespace std
+{
+    string to_string(const size_t &val);
+    string to_string(const int &val);
+}
 #endif
+
+#endif