Maintenance release including Windows build fixes.