Running 32 bit on 64 bit linux