The `config.w32` we have at the moment is just a quick copy-paste and hasn't been tested. We need to find a Windows expert to fix it up and test it.