We install a few helper files for the ui file format. Namespace these, to avoid conflict with the same files in GTK3.