Initial import from Stockfish 20131214 (8184352)