modifications for ucmini v2.0; default version is ucmini2; older versions can be used with UCMINI_REV variable
added missing ArbiterInfo interface