Fix stdlib