docker/windows: work around a python ssl issue