Sorry for multiple posts: just to mention that I, too, was installing with apt-get install from the terminal.
Sorry for multiple posts: just to mention that I, too, was installing with apt-get install from the terminal.