Fix int->void* conversion that is invalid for 64bit systems