My guess is that when the libc was built ecvt.s was built into some other file other than ecvt.o and exists in the library under that name. Ar only reports the file names inserted. The loader looks at all the symbol tables on the contained files. Have you tried extracting the files in the archive and running nm on them?