Update from configure.in