dist_bin_SCRIPTS = logfile_to_tpips pips-process-module pips-deal-with-include