Comment out debugging, again
Last tweak to x64 for WMI