Binary: make_prefs_file.py

dbgen.pl mn10300-linux-gnu-objcopy xmlwf bfin-linux-gnu-gcov gnc-fq-check kflux.kss kde-open lfc-rmusrmap irw mlogc-batch-load mattrib spent naturalselection.py ipcluster srm extconv ypbind alien_hunter eztrace_plugin_generator freefoam-equilibriumCO gfan_krulldimension g.mapsets stag-autotemplate polarssl_generic_sum LibraryLocal sparkleshare swig3.0 ot2kpx xt-create-xen-config xnbd-watchdog