Deal with Stockfish internal API changes.