bin/build-binary-dist.sh: just a small fix