/libpthread/linuxthreads.old/sysdeps/avr32/