binbuild.sh revision 888d5172c9670a1a6278556625f1f6199ec53a2d