Remove redundant get_extra_config(). (Fixes #1973)