32bit binary for Mac OS X