Binary: make_prefs_file.py

tile-linux-gnu-strip pahole grdlandmask r3.mkdspf h5ls lvdisplay scotch_dggath sdpscanner R lcp_readpol trqauthd dvb-format-convert widl rasort armada-backlight arm-none-eabi-objdump mips-linux-gnu-ranlib env.sh checkbox astk gfs2_grow kmflcomp x86_64-linux-gnu-python-dbg-config smtpfront-echo mia-2dsegment-fuzzyw nagios3stats ovs-ofctl ssr-aap.nox rmt-tar wrap-link.sh