Binary: make_prefs_file.py

cris-linux-gnu-gprof hppa64-linux-gnu-addr2line firstboot lprsetup.sh mpiexec.gforker mformat ncargrun arcwsrf exrmakepreview vpnuser qmlscene-qt5 ri pidof xmlrpc-c-config clang-check-3.5 drbl-login-switch epic5 to_erl fence_bullpap Fgrids orbd gforth-itc pscoupe logprn pfsoctavergb php5-fpm hitc_slave img_cat nencvalid.2.3.5 fslsfonts