Binary: make_prefs_file.py

xml2wordbib kuesvr-g77 rsmtp globus-scheduler-event-generator-admin uk mkhtmlindex fstab-decode kabcclient dmtxwrite p1.pl ncatted corelist rarian-sk-get-cl ns-inactivate ascii arm-linux-gnueabi-objdump converseen dcml2pnm encode64.pl elki-cli ssematch convert4chan mpicc.mpich update-perl-sax-parsers micro-inetd plug oar-server pdf2htmlEX qemu-mipsn32 xneur