dtkgui/debian/libdtkgui5.install