fix a 32bit server bug.