Thank you for this. The official ubuntu box is broken with Virtualbox when running on my pc, this one works.
No problem! I noticed most of the major box distributors' boxes are still broken, so I thought I'd try to get mine working ASAP even with the current bugs in Vagrant.