Carbon is available for 64-bit