Settings for Linux and disabling splash screen.