Fix problem with apt-get update and hash mismatch