/gnu/usr.bin/gcc/config/fx80/