Fix pointer cast into int issue for 64 bit compatibility.