Vagrantfile uses versioned boxes