dist_bin_SCRIPTS = dir2filelist.pl geteop.pl pcList.pl fslog2difx.pl sec2time.pl difxcopy startcorr.pl time.pl time2sec.pl update_eop vex2setup.pl