h4h5tools

The verifier can be built under Win32. This should not be included in the official release, though.

I also fixed trivial problems, too.