--- uae/src/include/uae.h	2018/04/24 16:42:24	1.1.1.3
+++ uae/src/include/uae.h	2018/04/24 16:45:07	1.1.1.4
@@ -14,9 +14,6 @@ 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_quit (void);