try to fix 32 bit build, even though I do not use it anymore