That's right --- it installs Debian. That's the whole point of Vagrant, that is installs one particular version of an operating system, and that version is run on any platform (be it Linux, Mac or Windows). This is what Travis-CI used to use initially (they recently switched to something more heavy-weight).

I can't install virtualbox on my work machine, so I'll finish this PR tonight from my desktop where it works.