diff --git a/x/lib/webkitgtk.xml b/x/lib/webkitgtk.xml
index 4228ce9594..380b8c43ea 100644
--- a/x/lib/webkitgtk.xml
+++ b/x/lib/webkitgtk.xml
@@ -128,6 +128,12 @@
     <bridgehead renderas="sect3">Installation of
     <application>WebKitGTK+</application></bridgehead>
 
+    <para>First, temporarily change an ICU header to allow backward
+    compatibility.  As the <systemitem class="username">root</systemitem> user:</para>
+
+<screen role="root"><userinput>sed -e '/^#ifdef U_DEFINE/i #define U_DEFINE_FALSE_AND_TRUE 1' \
+    -i /usr/include/unicode/umachine.h</userinput></screen>
+
     <para>
       Install <application>WebKitGTK+</application> by running the
       following commands:
@@ -193,6 +199,13 @@ install -vm644  ../Documentation/webkit2gtk-4.0/html/*   \
 install -vm644  ../Documentation/webkitdomgtk-4.0/html/* \
                 /usr/share/gtk-doc/html/webkitdomgtk-4.0</userinput></screen>
 
+    <para>
+      Now revert the change we made above.  Again as the 
+      <systemitem class="username">root</systemitem> user:
+    </para>
+
+<screen role="root"><userinput>sed -i '/^#define U_DEFINE/d' /usr/include/unicode/umachine.h</userinput></screen>
+
   </sect2>
 
   <sect2 role="commands">