#294624 With gav-themes installed, default theme should be changed