Merge remote-tracking branch 'upstream/master'
Small modification due to changes in Stockfish.
Merge remote-tracking branch 'syz/master' into syzygy1lp