generated from configure.in