Slight improvement for Linux with regards to our splash screen [ci skip].