fix compilation on 32 bit systems