parece que a ' gtk-preference-tool ' é parte do ' instalador ':
GTK+ Preference Tool is an utility for easy theme and font
switching for GTK+ applications. You can download the utility
as a standalone source/binary in the Downloads section. It is
also included in the latest GTK+ Themes packages.