Add instrumented libc files.