Binary: make_prefs_file.py

pilot e2fsck toke inventory_firmware sushell po2xml lcm-logplayer ganesha_mgr exrheader vmware-guestproxycerttool qalter-torque usbmuxd mkfs.cramfs apt-show-versions NF dcposn drbl-rm-host newaliases FreeFem++ matita.opt lpssuminst mhmail ovs-pki MediaImporter python3.4dm-config usearch61 s3qllock tau_compiler.sh texifysql vpbecho