--- asmcomp/x86_proc.mli.orig	Wed Nov 16 00:08:53 2016
+++ asmcomp/x86_proc.mli	Wed Nov 16 00:09:23 2016
@@ -67,6 +67,7 @@
   | S_win32
   | S_linux_elf
   | S_bsd_elf
+  | S_minix
   | S_beos
   | S_mingw
 
