ThemeEngine: Fix Build error