Fix the make "verify" target on Windows. Windows does not have the "unset" command, but this doesn't matter since the problem that requires us to use unset doesn't happen on Windows. Also did some minor cosmetic changes, and dependcy changes.