Binary: make_prefs_file.py

fvconverter blockmean h5repart idle3ctl opencv_performance hpidomain turba-public-to-horde-share glsl-arb-fragment-coord-conventions glx-shader-sharing pki-server scan sss_obfuscate car dnsget tethereal bootpef ecaccess-certificate-create.bat ephy-profile-migrator frog jv-convert-4.9 ginac-excompiler kpengine KlustaKwik ldaptor-getfreenumber leave smpirun lps2lts pfb2t1c viewsudo ykval-gen-clients