fix 32-bit build (not tested; probably does not work)