#1378: config_local for extensions