There is not much you can do. So far, it's been suggested:
- Change to another laptop with a 32-bit OS.
- Run a VM with a 32-bit OS within it.
- Use the classmate PC that comes with 32-bit Win7.
For us, my laptop cannot deploy code. But that's fine. We just need one student has a 32-bit laptop to deploy code. Our team is going to purchase a team laptop anyway, so I just need to make sure we put a 32-bit OS on it.