Make running Thandy configurable