--- src/library/tools/givtruncdomain.h.orig	2013-12-04 17:03:41 UTC
+++ src/library/tools/givtruncdomain.h
@@ -17,7 +17,7 @@
 #ifdef __APPLE__
 #include <utility>
 #else
-#include <bits/stl_pair.h>
+/* #include <bits/stl_pair.h> */
 #endif
 #endif
 
