Fix distinfo with correct fetched filename