Fix build in MS Windows.