Perhaps on Windows machines we boot from a Linux LiveCD then run machineSpec.py?