Update stdlib_headers.txt #8