Correction to a typo in staging_install.py from the last commit.
diff --git a/common/staging_install.py b/common/staging_install.py
index 2b4fa4c..3a94d71 100755
--- a/common/staging_install.py
+++ b/common/staging_install.py
@@ -79,7 +79,7 @@
 
     for file in toolfiles:
         # Do not attempt to do text substitutions on a binary file!
-        if os.path.splitext(file)[1] in gdstypes:
+        if os.path.splitext(file)[1] in bintypes:
             continue
 
         filepath = tooldir + '/' + file