Fix distfiles