distfiles fix