diff -rup webkitgtk-2.4.6.orig/Source/WTF/wtf/Platform.h webkitgtk-2.4.6/Source/WTF/wtf/Platform.h
--- webkitgtk-2.4.6.orig/Source/WTF/wtf/Platform.h	2014-10-08 14:56:40.000000000 +0100
+++ webkitgtk-2.4.6/Source/WTF/wtf/Platform.h	2014-10-08 14:57:59.000000000 +0100
@@ -690,8 +690,8 @@
 
 /* FIXME: The fast malloc implementation is broken on Itanium / IA64 because
    some memory barriers are missing in the thread-unsafe code around the
-   pagemap_cache_ object. */
-#if CPU(IA64) || CPU(IA64_32)
+   pagemap_cache_ object. It is also broken on MIPS. */
+#if CPU(IA64) || CPU(IA64_32) || CPU(MIPS)
 #define USE_SYSTEM_MALLOC 1
 #endif