--- setup.ml.orig	Sat Sep 24 19:27:20 2016
+++ setup.ml	Sat Sep 24 19:27:38 2016
@@ -6786,7 +6786,6 @@
                                 "-Wextra";
                                 "-Wunused";
                                 "-Wno-long-long";
-                                "-Wno-keyword-macro"
                              ])
                         ];
                       bs_cclib = [(OASISExpr.EBool true, [])];
