Build script updates.

* Default to Debian 7.6
* Changed command-line arguments to be compatible with
  VirtualBox 4.3.