bugfix to compile in reax/c 32-bit mode with smallsmall.