Updating stdlib