Windows port (MSVC 11)