fix build on 32bits again