fix 64bit build error