Comment 32 for bug 680628

bruno, can you do

sudo apt-get update before all the commands from comment #24?