Changes to splash.rc and tux theme.