Fix compilation on windows.

Fix windows compilation. This should make jenkins happy.