ports/sysdeps/alpha/nptl/elf
