Updated stdlib requirement