Unbreak windows build of idris_net.c

Shoo away the header files from idris_net.h yet again.