Moving back to default Debian sources