SERVER-8618: fix windows build