double slashes in generated filenames.  This is not strictly necessary
on standard Unixen, but I'm being a neatnik...