Updated some packages; installed Pivotal.