set stdlib requirement to 4.2.0