osx 32 bit binary