20000720
  libc binaries moved to new libc5 subdirectory (which will later be
withdrawn if nobody objects).  ampl/student/linux/*.gz are now linked
against glibc.
