Follow changes in rust libstd