Binary: make_prefs_file.py

score-linux-gnu-addr2line expect chkfont catchsegv md5Digest hp-wificonfig ipmi_port gemtopnm dbrowaccumulate degenerate-prims lconvert sks glreadtest aptitude-run-state-bundle aarch64-linux-gnu-dwp ld update-codeaster-engines cryptdisks_stop fastforward vars.o serialver ghc-pkg volk_modtool logjam aria_read_log mate-disk-usage-analyzer today mia-cmeans smp_ena_dis_zoning yokadid