Depure libcore and libstd