bindiff: fixed a few bugs