Update Debian 7.0 definitions from RC1 to release.

* Updated ISO URLs.
* Fixed failing virtualbox.sh on i386.