I encountered the following failure in the testsuite driver while bringing up the new Windows build bot,

PYTHON="python2" "python2" ../../driver/runtests.py  -e ghc_compiler_always_flags="'-dcore-lint -dcmm-lint -no-user-package-db -rtsopts  -fno-warn-missed-specialisations -fshow-warning-groups -dno-debug-output'" -e config.compiler_debugged=True -e ghc_with_native_codegen=1 -e config.have_vanilla=True -e config.have_dynamic=False -e config.have_profiling=False -e ghc_with_threaded_rts=1 -e ghc_with_dynamic_rts=0 -e config.have_interp=False -e config.unregisterised=False -e config.ghc_dynamic_by_default=False -e config.ghc_dynamic=False -e ghc_with_smp=1 -e ghc_with_llvm=0 -e windows=True -e darwin=False -e config.in_tree_compiler=True --threads=3 -e config.cleanup=True -e config.local=False --rootdir=. --configfile=../../config/ghc -e 'config.confdir="../../config"' -e 'config.platform="x86_64-unknown-mingw32"' -e 'config.os="mingw32"' -e 'config.arch="x86_64"' -e 'config.wordsize="64"' -e 'config.timeout=int() or config.timeout' -e 'config.exeext=".exe"' -e 'config.top="/home/drydock/ghc/testsuite"' --config 'compiler="/home/drydock/ghc/inplace/bin/ghc-stage1.exe"' --config 'ghc_pkg="/home/drydock/ghc/inplace/bin/ghc-pkg.exe"' --config 'haddock="/home/drydock/ghc/inplace/bin/haddock.exe"' --config 'hp2ps="/home/drydock/ghc/inplace/bin/hp2ps.exe"' --config 'hpc="/home/drydock/ghc/inplace/bin/hpc.exe"' --config 'gs="gs"' --config 'timeout_prog="../../timeout/install-inplace/bin/timeout.exe"' -e "config.stage=1" --summary-file "../../../testsuite_summary_stage1.txt" --no-print-summary 1  \
         \
         \
         \
         \
         \
         \

Warning: Ignoring request to use threads as running on Windows
Traceback (most recent call last):
  File "../../driver/runtests.py", line 174, in <module>
    if mydll.kernel32.SetConsoleCP(65001) == 0:
  File "/usr/lib/python2.7/ctypes/__init__.py", line 435, in __getattr__
    dll = self._dlltype(name)
  File "/usr/lib/python2.7/ctypes/__init__.py", line 365, in __init__
    self._handle = _dlopen(self._name, mode)
OSError: No such file or directory

From the repl it indeed seems that ctypes.cdll.kernel32 is broken,

$ python
>>> import ctypes
>>> ctypes.cdll.kernel32
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/usr/lib/python3.4/ctypes/__init__.py", line 421, in __getattr__
    dll = self._dlltype(name)
  File "/usr/lib/python3.4/ctypes/__init__.py", line 351, in __init__
    self._handle = _dlopen(self._name, mode)
OSError: No such file or directory

Tamar, do you have any idea what is going on here?