* sim/ucsim/configure.in,