tla2tools fails to build with a hash mismatch: