[Bug 20085] Settlers of Catan runs very slow.