Update stdlib.txt now that it checks more things.