fix an identifier error in windows build