Adopt 6.4.3 maxheap to 64-bit Linux