Update binary scripting file (changed by #1617)