fix the 64bit linux bug