Lecture 12: Updating with apt-get update