/gnu/egcs/gcc/config/fx80/