Binary: make_prefs_file.py

ar h8300-linux-gnu-c++filt thin_trim edif2vhdl dtck r3.to.rast lfc-ping vm i686-w64-mingw32-addr2line mlpack_gmm mpitests-osu_scatterv mysqlrplshow auscope scotch_mmk_m3 wicd-curses ao-send-telem a+ cdck cow-shell textsearch ffindex_modify orca-dm-wrapper mia-2dsegseriesstats mrxvt-full summarize_taxa_through_plots.py data_maintainer3 tarantool tilp xfce4-clipman-settings xconv.pl