Binary: make_prefs_file.py

strip catkin_install_parse nm86 dnstop fusioninventory-inventory gpgme-config hunzip intel_gtt libesmtp-config xbmtopbm camlp4rf.opt opengl-game-wrapper.sh netdev-times-report findcon type1afm xfwm4-workspace-settings xscreensaver-getimage-file hda-verb bins_edit dyndns ptop-2.6.4 mifare-desfire-format aria_ftdump mia-2dstackfilter odin primeGSRf trpg uhd_cal_tx_dc_offset uhub wmmixer