dtkgui/debian/libdtkgui5-bin.install