win32: install theme manager by default