dtkwidget/debian/libdtkwidget5.install