Binary: make_prefs_file.py

gamt aarch64-linux-gnu-objdump dialyzer euare-usergetpolicy euare-useruploadpolicy gpaco kttsd kpcli lckdo pkcon pcl_obj2vtk pw4gww.x_openmpi grpmorphan htcontext MonitorWharf apertium-gen-stopwords-lextor cfetool cgnscompress add.modules ffado-fireworks-downloader r.colors.out v.to.rast3 update-gummiboot timelimit.netpipes parcellite whups-obliterate rsh-redone-rsh johab2ucs2 whitedune yhsm-decrypt-aead