ubuntu-12.04-amd64: Properly fixing sources.list and not taking shortcuts anymore