--- /dev/null
+--- c_parser.py 2016-09-11 16:26:21.515212419 +0200
++++ c_parser.py.new 2016-09-11 16:26:05.807212016 +0200
+@@ -19,9 +19,9 @@
+ class CParser(PLYParser):
+ def __init__(
+ self,
+- lex_optimize=True,
++ lex_optimize=False,
+ lextab='pycparser.lextab',
+- yacc_optimize=True,
++ yacc_optimize=False,
+ yacctab='pycparser.yacctab',
+ yacc_debug=False,
+ taboutputdir=''):