We no longer munge a double-leading slash in do_open() because we