Warn in configure if it looks like make 3.80 is about to be used