Update stdlib