repair rts/idris_net for windows

It was broken here : https://github.com/idris-lang/Idris-dev/commit/b92213c36d35caff1b32a43625de8eda48733acb