updated VagrantFile to use precise64