Fixed a build error on 64-bit linux.

fixes #2248