diff -up webkitgtk-2.14.1/Source/WebCore/platform/gtk/UserAgentGtk.cpp.orig webkitgtk-2.14.1/Source/WebCore/platform/gtk/UserAgentGtk.cpp

--- webkitgtk-2.14.1/Source/WebCore/platform/gtk/UserAgentGtk.cpp.orig	2016-10-12 07:59:25.670057792 +0200

+++ webkitgtk-2.14.1/Source/WebCore/platform/gtk/UserAgentGtk.cpp	2016-10-12 08:01:06.251878684 +0200

@@ -85,6 +85,9 @@ static String buildUserAgentString(const UserAgentQuirks& quirks)

     else {

         uaString.append(platformForUAString());

         uaString.appendLiteral("; ");

+#if defined(USER_AGENT_GTK_DISTRIBUTOR_NAME)

+        uaString.appendLiteral(USER_AGENT_GTK_DISTRIBUTOR_NAME "; ");

+#endif

         uaString.append(platformVersionForUAString());

     }