- fix vuilding on 32-bit archs