infra: fix transitive option propagation in gen_config.pl