dtkwidget/debian/libdtkwidget5-bin.install