64bit binary for Mac OS X