Update apt-sources, now needed for Ubuntu 12.04