compiled on 32-bit linux machine