One more fix for the windows cmake build

fixes #258