Binary: make_prefs_file.py

byzanz-playback chcon targetcli festival gplc i686-w64-mingw32-strings gouldtoppm ogdi-config-32 pod2wiki gl-1.0-long-dlist pxz bibcursed btdownloadheadless.bittornado daa2iso ensymble fastaq_split_by_base_count fbx-playlist fotoxx git-remote-hg indi_robo_focus iperl lxc-device pick.sh ufl-analyse slon_start cipher_driver svn-multi ufraw csg_gmxtopol wmtemp