diff -r 01294b31a79e -r c4f4c533995f boost/boost.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/boost/boost.patch	Thu Aug 09 18:52:06 2012 +0200
@@ -0,0 +1,44 @@
+Index: boost/test/impl/execution_monitor.ipp
+--- boost/test/impl/execution_monitor.ipp.orig	2009-11-28 10:19:18.000000000 +0100
++++ boost/test/impl/execution_monitor.ipp	2011-06-08 21:40:48.000000000 +0200
+@@ -353,6 +353,7 @@
+         break;
+     }
+ 
++#if 0
+     switch( m_sig_info->si_signo ) {
+     case SIGILL:
+         switch( m_sig_info->si_code ) {
+@@ -508,11 +509,13 @@
+     case SIGCHLD:
+         switch( m_sig_info->si_code ) {
+ #ifndef BOOST_TEST_LIMITED_SIGNAL_DETAILS
++#ifdef CLD_EXITED
+         case CLD_EXITED:
+             report_error( execution_exception::system_error,
+                           "child has exited; pid: %d; uid: %d; exit value: %d",
+                           (int)m_sig_info->si_pid, (int)m_sig_info->si_uid, (int)m_sig_info->si_status );
+             break;
++#endif
+         case CLD_KILLED:
+             report_error( execution_exception::system_error,
+                           "child was killed; pid: %d; uid: %d; exit value: %d",
+@@ -608,6 +611,7 @@
+     default:
+         report_error( execution_exception::system_error, "unrecognized signal" );
+     }
++#endif
+ }
+ 
+ //____________________________________________________________________________//
+@@ -817,8 +821,10 @@
+ {
+     return info->si_signo == SIGCHLD
+ #ifndef BOOST_TEST_LIMITED_SIGNAL_DETAILS
++#ifdef CLD_EXITED
+             && info->si_code == CLD_EXITED 
+ #endif
++#endif
+ #ifdef BOOST_TEST_IGNORE_NON_ZERO_CHILD_CODE
+             ;
+ #else