fix build on Windows

Authored by sgerlach on Nov 1 2017, 10:36 AM.