Binary: make_prefs_file.py

texi2dvi4a2ps artsshell authconfig-tui multiIntersectBed sparc64-linux-gnu-ld.bfd carbon-sieve ceph_test_rados_api_snapshots condor_dagman euare-rolelistpolicies sh-linux-gnu-cpp g.dirseps g_rdf_d oggz-rip pnmtoplainpnm manpage-alert NF charybdis-mkpasswd cinnamon-screensaver expeyes-junior ezstream printforward x86_64-linux-gnu-gcc-4.9 r.thin grokevt-addlog cpfind mpichversion pussy mltail OpenMSInfo wsjt