Splash screen timer issue on Linux fixed