Unbreak windows build of idris_net.c
Merge pull request #1317 from melted/net_fix

Unbreak windows build of idris_net.c