Use a new version of stdlib