use avfs to open archives (eventually)