Binary: make_prefs_file.py

alpha-linux-gnu-gprof cdw check_mk_agent mk-job cvsgraph db2x_xsltproc dogtail-logout dpm-move-data horde-run-task arb_shader_atomic_counters-buffer-binding arb_texture_buffer_range-ranges virt-install sdktool assistant-qt4 pppoe-setup shinken-reactionner calibre-debug figtoipe make-gnome-freecell-board gpiv_vorstra jets3t-uploader polarssl_gen_key lilysong mia-3dimagecreator radium_compressor masai_output_se vdb-passwd velveth_long vim.athena xorp_policy