/gnu/usr.bin/binutils/gdb/config/ns32k/