Binary: make_prefs_file.py

cp2k.psmp_openmpi fxotune dstat grdview ksolarwinds.kss mysql_install_db pilot-install-hinote quotacheck rt-mailgate varnishreplay xbase-config bittwiste sync-accounts cinnamon-session-properties epic4 freefoam-autoPatch eggsh gnunet-namestore-gtk hmmbuild jclicreports kplayer podofocolor motion scinotes gcv-int32 slonik_merge_sets ssm setenv.sh uni2ascii vbse