Add a case for 64-bit OS X in config