Hi Michael, what about <original number of 32-bit-arch>+64 = Number of arch in 64 Bit? I.e. x86pc = 0 -> x86_64pc = 64 ? Only my fifty cent .. Hth, Oliver