apt-get update after adding Chris Lea's repo