fix for 64bit ffi number issue