Patched to work with vbox 4.2 and vagrant 1.2