fix linux64 bug