update stdlib