/* Quote path element, characters in [b, e), as file name, and append
the quoted string to DEST. Each character is quoted as per
/* Quote path element, characters in [b, e), as file name, and append
the quoted string to DEST. Each character is quoted as per