[tde-users] Re: Linux 32 bits to 64 bits