Binary: make_prefs_file.py

bfin-linux-gnu-elfedit cmodeltoseq dmtcp_discover_rm eulb-detach-lb-from-subnets faked-tcp h8300-linux-gnu-gcc crc32 fbo-alphatest-formats xmlpatterns sdcc-shc08 abootimg-unpack-initrd affcopy aptdcon acdvalid enemies-of-carlotta populate_template_project.php gnome-mplayer cleanupDatabase.pl ramsgate ldc2 kwalitee-metrics lli Microsoft.Build.Core.xsd neutron-debug sec2ts javah osgmultitouch raxmlHPC-PTHREADS-SSE3 sg_rep_zones verilator_bin_dbg