fix bug causing windows builds to sometimes fail