fix build on 32bit