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