no wrl for red-theme-tool