binbuild.sh revision 8e157dab9212d6770973543a56bf644387e5a178