tools: update plugin_replacement.py to work with new Win32/1800 plugin ABI.