Fix downloaded runs' filenames being weird