Fixed a build error on 64-bit linux.
Merge pull request #2250 from chaserhkj/fix

Fixed a build error on 64-bit linux.