- Patch #585012 by jpmckinney, David_Rothstein: setting a default theme in install profile causes WHACK errors.