Vagrantfile using 64 bit os