Binary: make_prefs_file.py

red fontdump tile-linux-gnu-gcov git-restore-mtime lp_solve ltspfsd snmpgetnext paw-g77 instanced_arrays qdbus x2goagent zarafa-search faust2mathdoc git-touch r.carve v.db.connect imls heimdal-history convertfilestops mathmlsvg parl rltraceroute6 vortex-diag ogmdemux sysdig atk6-kill_router6 MSSimulator wa_keyring ttx2xgf xmlformat