-- Corrected cast of 32-bit int to 64-bit pointer

-- Removes 64-bit portability issue.
Merge pull request #201 from bgossage/fix_pointer_cast

-- Corrected cast of 32-bit int to 64-bit pointer