new premake to help linux; added SplashState