Changing stdlib to 3.5.2