dtkwidget/debian/libdtkwidget-dev.install