another distfiles fix