Supporting linux 32bits for old jerks like me