ports/linuxthreads/sysdeps/alpha/elf