Vagrantfile should use a much newer Ubuntu