diff --git a/share/libc/unistd.h b/share/libc/unistd.h
index 019c35bdad2fab505c9beb3be0f3c573f28a9e47..356ae590fc8216f13a87b3ee0b450223b6e544f8 100644
--- a/share/libc/unistd.h
+++ b/share/libc/unistd.h
@@ -36,7 +36,7 @@ __PUSH_FC_STDLIB
 #include "__fc_define_intptr_t.h"
 #include "__fc_select.h"
 
-#include "getopt.h"
+
 #include "limits.h"
 
 extern volatile int Frama_C_entropy_source;
diff --git a/src/plugins/variadic/tests/known/oracle/exec.res.oracle b/src/plugins/variadic/tests/known/oracle/exec.res.oracle
index 1b512fc679b89c4510d6b4a843c1a11641ac3bb6..075e93f7f68373a6e6822a2c71d3accdf50b3c91 100644
--- a/src/plugins/variadic/tests/known/oracle/exec.res.oracle
+++ b/src/plugins/variadic/tests/known/oracle/exec.res.oracle
@@ -35,7 +35,6 @@
   sentinel ∈ {0}
   __retres ∈ {0}
 /* Generated by Frama-C */
-#include "getopt.h"
 #include "sys/time.h"
 #include "unistd.h"
 int main(void)
diff --git a/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle b/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle
index 3bdfda3fde92ac91809fd788abeebf71639c9929..97c267c20a2bb8ac2485287265d8d119b734e857 100644
--- a/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle
+++ b/src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle
@@ -17,7 +17,6 @@
 [eva:final-states] Values at end of function main:
   NON TERMINATING FUNCTION
 /* Generated by Frama-C */
-#include "getopt.h"
 #include "sys/time.h"
 #include "unistd.h"
 int main(void)