Update to stdlib 37