Why are we making this change? If we stay at veewee 0.3.7 `vagrant basebox` should continue working.