Binary: make_prefs_file.py

aoe-stat mn10300-linux-gnu-nm djvutoxml dpm-releasespace bfin-linux-gnu-gcc htdig vboxmode jack_monitor_client mtp-tracks m17n-db mpdcleanup clog2alog ifconfig mapiprofile arb_separate_shader_object-IsProgramPipeline totem-video-thumbnailer gvimtutor axd atheist lpc dacscookie jlessecho jsc dtdparse paraclu probabel.pl stpm-sign stumpish movie-zoomcalc xemacs-21.4.22-mule