fix compile on 32 bit linux