dist_bin_SCRIPTS = profile2binconfig.py make_empty_binconfig.py