generated from configure.in.