Binary: make_prefs_file.py

mn10300-linux-gnu-nm berkeley_db43_svc gtk2hsHookGenerator mlpack_fastmks monodocs2html minfo mysql_tzinfo_to_sql pvserver_mpich lambda.x_mpich scotch_mtst autoconf2.64 ceph_test_msgr debconf-set-selections-edu e2undo freefoam-foamDataToFluent git-reintegrate git-remote-hg psxy gm-fixup_server i18nspector ipnadminep nvzoom inc eitsecfilter network_printer_test py-asterisk sidekiq surf unixserver vbfit