repair rts/idris_net for windows