Update Vagrantfile

use precise64