s3:net factor out net_idmap_dbfile