use 64-bit vagrant boxes for the race detector (at least for linux)

finding i need to do "vagrant up --provision" instead of just vagrant up