--- uae/src/build68k.c	2018/04/24 17:00:12	1.1.1.5
+++ uae/src/build68k.c	2018/04/24 17:18:29	1.1.1.7
@@ -12,8 +12,6 @@
 #include <assert.h>
 #include <ctype.h>
 
-#include "config.h"
-#include "options.h"
 #include "readcpu.h"
 
 static FILE *tablef;
@@ -60,8 +58,6 @@ int main(int argc, char **argv)
 
     printf ("#include \"sysconfig.h\"\n");
     printf ("#include \"sysdeps.h\"\n");
-    printf ("#include \"config.h\"\n");
-    printf ("#include \"options.h\"\n");
     printf ("#include \"readcpu.h\"\n");
     printf ("struct instr_def defs68k[] = {\n");
 #if 0
@@ -138,6 +134,8 @@ int main(int argc, char **argv)
 	 case '2': cpulevel = 2; break;
 	 case '3': cpulevel = 3; break;
 	 case '4': cpulevel = 4; break;
+	 case '5': cpulevel = 5; break;
+	 case '6': cpulevel = 6; break;
 	 default: abort();
 	}
 	getnextch();