diff --git a/coregrind/arch/x86-linux/vg_libpthread.c b/coregrind/arch/x86-linux/vg_libpthread.c
index 8d88efc60..2ee0140b5 100644
--- a/coregrind/arch/x86-linux/vg_libpthread.c
+++ b/coregrind/arch/x86-linux/vg_libpthread.c
@@ -733,6 +733,13 @@ int sendto(int s, const void *msg, size_t len, int flags,
    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 8d88efc60..2ee0140b5 100644
--- a/coregrind/vg_libpthread.c
+++ b/coregrind/vg_libpthread.c
@@ -733,6 +733,13 @@ int sendto(int s, const void *msg, size_t len, int flags,
    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 8d88efc60..2ee0140b5 100644
--- a/vg_libpthread.c
+++ b/vg_libpthread.c
@@ -733,6 +733,13 @@ int sendto(int s, const void *msg, size_t len, int flags,
    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);
+}
+
 
 /*--------------------------------------------------*/