Fix OSX for x64 by default