Corrected the issue with the redundant header information in the
compiled liberty library.

common/create_lib_library.py

diff --git a/common/create_lib_library.py b/common/create_lib_library.py
index 83daf87..46bfc47 100755
--- a/common/create_lib_library.py
+++ b/common/create_lib_library.py
@@ -45,6 +45,8 @@
 def create_lib_library(destlibdir, destlib, do_compile_only=False, excludelist=[],
 	headerfile=None):
 
+    headerdone = False
+
     # destlib should not have a file extension
     destlibroot = os.path.splitext(destlib)[0]
 
@@ -62,7 +64,7 @@
             print('Error reading liberty header file ' + headerfile)
             headerfile = None
         else:
-            headerseen = True
+            headerdone = True
 
     alllibname = destlibdir + '/' + destlibroot + '.lib'
     if os.path.isfile(alllibname):
@@ -105,7 +107,6 @@
                         print(hline, file=ofile)
                 print('\n', file=ofile)
 
-            headerdone = False
             for lfile in llist:
                 if not os.path.exists(lfile):
                     print('Error: File ' + lfile + ' not found (skipping).')