ivtools-1.2.4 is now available at http://www.ivtools.org. This release contains more changes mandated by gcc-4.*, and some command interpreter evolution. Scott Johnston