Is apt-get update necessary?