Update stdlib_headers.txt #66