fix type casting error on double pointer in 64bit env