involving ET in debian packages building #12686