Binary: make_prefs_file.py

hbcixml3 autom4te autotest-daemon-monitor cbootimage condor_reschedule v.to.rast kflux.kss microcode_ctl pampick clulog tomcat-juli-6.0.24.jar ykval-export fillRSAImpInterp dot-forward hpls intone polarssl_cert_req pmark mia-3dfluid rawlog-grabber mysqmail-courier-logger nova-spicehtml5proxy osglogo parchive perl-cross-debian pynslcd conchftp rwin.vbs simpdftex spm8_warp