Binary: make_prefs_file.py

geographiclib-get-magnetic glite-lb-setup i.atcorr kimagemapeditor pdfjam-slides6up arb_fragment_program-minmax reboot ytnefprint ns-accountstatus affcrypto aj5 bbdb-areacode-split btshowmetainfo.bittornado cfenvgraph summarise-mailbox-preserving-privacy groupwise_warp csdp debiandoc2dvi dh_ocamlclean eric5_webbrowser falrun freefoam-boundary gkdebconf-term gtcli hdir stateless_proxy.pl.gz mpginfo mummerplot ossim-igen pkgkde-gensymbols