> This is not what I get. > - 32bit debian on 64bit machine: this should be working fine > - 64bit debian on 32bit machine: I get the attached message > If it's not what they get, there is some bug and more investigation is > needed. I no longer have access to their machines, so I'm unfortunately unable to check. -- Juliusz