Fixed a build error on 64-bit linux.