Binary: make_prefs_file.py

gsi rigsmtr animate mkcamlp4 petit ario caja-sendto celestia-gnome ex4_acceptor get-drbl-conf-param quickadd gfan_secondaryfan gfan_topolyhedralfan git-pull-request glance-cache-manage xyz2grd gift-dtd-to-keywords.pl hcp iperl txt2las fwexec mllex rmid openmsx memcached_top sdas6808 splint handjoob wpa_gui zimpl