fxies to get 32-bit linux compile to work