(relative_filename): Treat "///" like "/" in filenames.