Binary: make_prefs_file.py

aide aarch64-linux-gnu-gprof davix-put fcping arm-linux-gnu-gcc htpurge igetevent cvscheck lcov liveusb-creator_polkit mk-profile-compact blazer_usb wicked arb_shader_atomic_counters-unused-result wdread xzmore bp_download_query_genbank makedirs ispell-autobuildhash drbl-client-switch enlightenment_open cow freefoam-moveEngineMesh arabic.txt setpdfpage lives_mng_encoder3 snp2mipe pksetmask mmls udevil