We treat 64 bit linux as a separate OS.