added 32 bit linux