vagrant: Requirement on VirtualBox 4.2.12 for compatibility with Vagrant