We where casting a 64 bit ptr to 32 bit.

This was done with much help from Aaron Defazio. fix gh-1547