Fix build on 64-bit linux.