ovs_netdev: 8492d14 ovs-pki: Workaround lack of /dev/stdin in Windows.