[tex-live] tilde in file/folder names (again)

[Karl Berry]

    fix this by using \protected\def~{...}  in the format so it is safe in
    filenames.

Is that all we have to do?  Sounds good to me!