--- uae/src/rpc.c	2018/04/24 16:56:32	1.1.1.2
+++ uae/src/rpc.c	2018/04/24 17:01:51	1.1.1.4
@@ -12,7 +12,7 @@
 
 #include "config.h"
 #include "options.h"
-#include "threaddep/penguin.h"
+#include "threaddep/thread.h"
 #include "memory.h"
 #include "custom.h"
 #include "keyboard.h"
@@ -517,7 +517,6 @@ void setsonst(int *reserved)
     blits_32bit_enabled=reserved[10];
     immediate_blits=reserved[11];
     fake_joystick=reserved[12];
-    automount_uaedev=1-reserved[13];
     bogomem_size=reserved[14];
     chipmem_size=reserved[15];
     fastmem_size=reserved[16];