* sim/ucsim/configure.in, sim/ucsim/configure: