Binary: make_prefs_file.py

djvumake eurephiadm gnatprep showconsolefont mpichversion mydnscheck-pgsql pcl_obj_rec_ransac_model_opps pure-ftpwho rpmextra seahorse-tool inject_alive6 unbound-anchor varnishsizes xsupplicant aolserver4-nsd bogotune-tokyocabinet ftpgrab gnome-paint irkerd kinit.shared ogminfo pastebinit pmlogrewrite plot-md5 relion_autopick_mpi docbook-2-pdf extend swift-object-expirer xmore load_gen