public InputStream fetch(String name) throws IOException {
	try {
	    URL loc = new URL(base, mangle(name));
	    return(get(loc));
	} catch(IOException e) {
	    throw(e);
	} catch(Exception e) {
	    /* There seems to be a weird bug in NetX */
	    throw((IOException)(new IOException("Virtual NetX IO exception").initCause(e)));
	}
    }