Why are the binaries in the tools RPM called powerpc-rtems4.7-gcc rather than the standard powerpc-rtems-gcc? What do I need to pass into configure so that it can find these executables. Thx - Greg