Problem with final link (initWinsock?) on a clean windows

[supergrade]

Clean windows 8.1 patched to current date, on a VM (I can rewind/retry on it)

Only deviation was changing idris cabal-install line to
~/bin/cabal install --max-backjumps=-1

Ran the file from powershell installed in the 8.1 Operating system.

[97 of 97] Compiling Pkg.Package ( src\Pkg\Package.hs, dist\build\Pkg\Package.o )
In-place registering idris-0.9.14.1...
Preprocessing executable 'idris' for idris-0.9.14.1...
[1 of 2] Compiling Paths_idris ( dist\build\autogen\Paths_idris.hs, dist\build\idris\idris-tmp\Paths_idris.o )
[2 of 2] Compiling Main ( main\Main.hs, dist\build\idris\idris-tmp\Main.o )
Linking dist\build\idris\idris.exe ...
C:\t\msys\home\LA\idris\dist\build/libHSidris-0.9.14.1.a(REPL.o):fake:(.text+0x357b): undefined reference to initWinSock' C:\t\msys\home\LA\idris\dist\build/libHSidris-0.9.14.1.a(REPL.o):fake:(.text+0x99c09): undefined reference toinitWinSock'
c:/t/msys/ghc-7.8.3/mingw/bin/../lib/gcc/x86_64-w64-mingw32/4.6.3/../../../../x86_64-w64-mingw32/bin/ld.exe: C:\t\msys\home\LA\idris\dist\build/libHSidris-0.9.14.1.a(REPL.o): bad reloc address 0x0 in section `.data'
c:/t/msys/ghc-7.8.3/mingw/bin/../lib/gcc/x86_64-w64-mingw32/4.6.3/../../../../x86_64-w64-mingw32/bin/ld.exe: final link failed: Invalid operation
collect2: ld returned 1 exit status