/gnu/egcs/INSTALL/