Issue #3108021 by alexpott, lauriii: Set $defaultTheme for install profiles using configuration install