Binary: make_prefs_file.py

avr32-linux-gnu-objdump db42_recover db42_upgrade euwatch-list-metrics ikslint pdns_server guards rbssh sigul_bridge dellBiosUpdate resize col2 phoned gcr-viewer gdlpp obus-dump llvm-ranlib amd64-mingw32msvc-ld hydra_persist neutron-ns-metadata-proxy dipy_quickbundles qemu-unicore32-static rabbit-slide kramdown screenkey dfg2dfg aspline submerge xc_save tv_grab_uk_bleb