Fix Windows port