update to 64 bit vagrant box