Binary: make_prefs_file.py

admesh scheme-ieee-1178-1990 qrsub lcg-replica-manager niReg pcl_icp shasum ingo-admin-upgrade turba-convert-datatree-shares-to-sql dos.x_openmpi redcarpet vmtouch xdelta-config comicthumb ecaccess-association-delete.bat geary x86_64-w64-mingw32-gnatfind-posix grub-mkpasswd-pbkdf2 hime-trad2sim kdevplatform_shell_environment.sh bp2bp inspect mixasm phytime createlang pdb3.4 seqcons atk6-fake_router6 uprecords xsdtree