Binary: make_prefs_file.py

apbs-mergedx2 dnssec-signzone fsed.cpm ddrescuelog fvwm-menu-desktop globus-gass-cache-util lockfile-remove ncftpbatch pslurp tmpwatch cimsub setsid atril-thumbnailer update-boinc-applinks clang g.proj roff2text grub-probe bosco_install contactthemeeditor oodoc_test anldp nbc osgwidgetlabel fsoids squishyball netmux uim-toolbar-gtk dune xpp