might as well install the theme, when we already download it...