--- uae/src/include/uae.h	2018/04/24 16:42:24	1.1.1.3
+++ uae/src/include/uae.h	2018/04/24 17:16:56	1.1.1.6
@@ -14,11 +14,8 @@ extern void real_main (int, char **);
 extern void usage (void);
 extern void parse_cmdline (int argc, char **argv);
 
-/* Contains the filename of .uaerc */
-extern char optionsfile[];
-extern void save_options (FILE *);
-
-extern void uae_reset (void);
+extern void uae_abort (const char *) NORETURN;
+extern void uae_reset (int);
 extern void uae_quit (void);
 extern void reset_all_systems (void);