#421 Added seed_override to the BWAPI config.