Updating the apt-cache is good too, yes
Fixed downgrading (not that it should be needed)
I fixed provisioning, I think