various Linux updates, including making the default size of the splash window 512x96.

src/arch/LoadingWindow/LoadingWindow_GtkModule.h

@@ -4,6 +4,7 @@
 typedef const char *(*INIT)(int *argc, char ***argv);
 typedef void (*SHUTDOWN)();
 typedef void (*SETTEXT)( const char *s );
+typedef void (*SETSPLASH)( const char *s );
 typedef void (*SETPROGRESS)( int progress, int totalWork );
 typedef void (*SETINDETERMINATE)( bool indeterminate );