Changed convention for filenames of downloadable files