fix bug in windows 64bit