Update stdlib.txt