update stdlib to 1.5

contrib is deprecated