fix distfiles