Fix welcome-theme for testsuite