updates to stdlib