fix 32-bit build (not tested)