TIMESTAMP = 1519331941
SHA256 (stockfish-9-src.zip) = ba2e72d6973479c8c839c7f4a095d121829ebe8df39b71ebf291c84e5cb3e36e
SIZE (stockfish-9-src.zip) = 171925
