fix the 64bit issue on linux