diff --git a/coregrind/arch/x86-linux/vg_libpthread.c b/coregrind/arch/x86-linux/vg_libpthread.c
index 8d88efc..2ee0140 100644
--- a/coregrind/arch/x86-linux/vg_libpthread.c
+++ b/coregrind/arch/x86-linux/vg_libpthread.c
@@ -733,6 +733,13 @@
    return __libc_sendto(s, msg, len, flags, to, tolen);
 }
 
+extern 
+int __libc_system(const char* str);
+int system(const char* str)
+{
+   return __libc_system(str);
+}
+
 
 /*--------------------------------------------------*/
 
diff --git a/coregrind/vg_libpthread.c b/coregrind/vg_libpthread.c
index 8d88efc..2ee0140 100644
--- a/coregrind/vg_libpthread.c
+++ b/coregrind/vg_libpthread.c
@@ -733,6 +733,13 @@
    return __libc_sendto(s, msg, len, flags, to, tolen);
 }
 
+extern 
+int __libc_system(const char* str);
+int system(const char* str)
+{
+   return __libc_system(str);
+}
+
 
 /*--------------------------------------------------*/
 
diff --git a/vg_libpthread.c b/vg_libpthread.c
index 8d88efc..2ee0140 100644
--- a/vg_libpthread.c
+++ b/vg_libpthread.c
@@ -733,6 +733,13 @@
    return __libc_sendto(s, msg, len, flags, to, tolen);
 }
 
+extern 
+int __libc_system(const char* str);
+int system(const char* str)
+{
+   return __libc_system(str);
+}
+
 
 /*--------------------------------------------------*/