I think the script you meant was make-bin-dist-min.sh
The results are at:
http://rover.gcapltd.com/~mika/cm3-bin-core-AMD64_LINUX-d5.9.0-x86_64-unknown-linux-gnu-2014-01-04-22-18-35.tgz
Please upload this to the CM3 website if it looks OK to you and you know how to upload it.
It's set up to use user threads.
Mika