idris_net.ipkg -> idrisnet.ipkg