Fix the distinfo file