Binary: make_prefs_file.py

mips64-linux-gnu-strip dimfilter jack_impulse_grabber mtp11-detect libstdc++-6.dll mongoimport dnstrace arb_texture_view-rendering-target glx-oml-sync-control-swapbuffersmsc-divisor-zero xscreensaver-command chef-shell dd-list faust rmic POFileFill gr_read_file_metadata imsetup jirb_swing polarssl_strerror svm-subset llvm-mc sftp-verif jsadebugd seccure-encrypt tauex tomcat-juli.jar pat2ppm xcwcp xdrawchem xymoncgimsg.cgi