Fix version of stdlib