something went wrong with "make dist" and the file that was uploaded was abnormally large. it will be corrected around lunchtime (EST) today. sorry for the confusion.