Binary: make_prefs_file.py

aarch64-linux-gnu-objdump dtestx gshhgtograss fbo-drawbuffers-fragcolor useprogram-flushverts-1 po4a-translate head.x_openmpi ykksm-export aa-autodep copymat xlsview diet drbl-doit userlengths inter git-repl gnomint icewm-session-lite pinentry-kwallet changepagestring meshlab rpstblastn pbyacc pfscut pngmeta pspp-convert gustaf is.pl nikon-curve makematk