make sprp64.h compilable for 32-bit architectures