Adding ia32 compatibility to 62bit linux