Changed Debian 7.1 to 7.2.
Updated Ubuntu 13.04 references to Ubuntu 13.10.