/gnu/usr.bin/gas/config/