Fix calculation of dump file size displayed in download