Encoding download filenames.

Resolves #79.