32bit linux support