silence linter on builtin headers

Author: Daniel Kroening

scripts/cpplint.py

@@ -6511,7 +6511,7 @@ def ProcessFile(filename, vlevel, extra_check_functions=[]):
   if Search(r'(\.l|\.y|\.inc|\.d|\.o|y\.tab\.cpp|\.tab\.h|\.yy\.cpp)$', filename):
     return
 
-  if Search(r'_builtin_headers_[a-z0-9_-]+\.h$', filename):
+  if Search(r'_builtin_headers(_[a-z0-9_-]+)?\.h$', filename):
     return
 
   if not ProcessConfigOverrides(filename):