Updated VirtualBox build script to reference the Debian 7.3 folder instead of Debian 7.2.