Added Windows port (see #233)