hacks to cope with org.ibex.xt