Casting pointers to int causes errors on some OS

Quick fix for a minor compile error under Mac OS X