Binary: make_prefs_file.py

xtensa-linux-gnu-ar elk-eos flow-receive qmod kolabwizard idn mpitests-osu_acc_latency vows piconv README arb_uniform_buffer_object-dlist phcg.x_openmpi scrollkeeper-gen-seriesid sheep bbackupd wosstopic printmaillist jocamllex milkyplay i586-mingw32msvc-g++ i686-w64-mingw32-ocamlopt prtstat python3-osprofiler lunch qemu-ppc64 regconcat seqan_tcoffee helicos-load SequenceCoverageCalculator vflmkpk