Fix stdlib requirement