Update - WinRAR to the rescue! I managed to replace those two files using it without having to unzip everything. The only problem I have now is that performance isn't as good - the game's playable, but a little jerky. My laptop is quite old though, so should be fine on a modern machine.