Come to think of it: wouldn't one ``sudo apt-get install`` also make things a little bit faster?