fix build on 32 bit