Some Windows ports for nimrod