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