Use the hash function for x64

Since we are mostly using 64-bit machines and according to the doc this should give us better performance.