--- webkitgtk-2.4.11/Source/WebCore/platform/gtk/GtkClickCounter.cpp	2016-04-10 00:48:37.000000000 -0600
+++ webkitgtk-2.4.11/Source/WebCore/platform/gtk/GtkClickCounter.cpp	2016-06-04 17:53:33.558054659 -0600
@@ -85,8 +85,8 @@
     guint32 eventTime = getEventTime(event);
 
     if ((event->type == GDK_2BUTTON_PRESS || event->type == GDK_3BUTTON_PRESS)
-        || ((abs(buttonEvent->x - m_previousClickPoint.x()) < doubleClickDistance)
-            && (abs(buttonEvent->y - m_previousClickPoint.y()) < doubleClickDistance)
+        || ((fabs(buttonEvent->x - m_previousClickPoint.x()) < doubleClickDistance)
+            && (fabs(buttonEvent->y - m_previousClickPoint.y()) < doubleClickDistance)
             && (eventTime - m_previousClickTime < static_cast<guint>(doubleClickTime))
             && (buttonEvent->button == m_previousClickButton)))
         m_currentClickCount++;
--- webkitgtk-2.4.11/Source/WebCore/platform/gtk/RenderThemeGtk2.cpp	2016-04-10 00:48:37.000000000 -0600
+++ webkitgtk-2.4.11/Source/WebCore/platform/gtk/RenderThemeGtk2.cpp	2016-06-04 18:08:32.744125973 -0600
@@ -24,6 +24,7 @@
 
 #include "config.h"
 #include "RenderThemeGtk.h"
+#include "RenderBox.h"
 
 #ifdef GTK_API_VERSION_2