fix Windows port