Minor build system change for the Windows ports