Add idris_net to data files