Updating some packages and Random for the CTL