diff --git a/share/dune b/share/dune
index 6ae783ccbd6e00b9138922d1e83c90b462fa28b1..b086bb6380a1d256b252d1517de32548a1871a3e 100644
--- a/share/dune
+++ b/share/dune
@@ -164,7 +164,6 @@
 (libc/fmtmsg.h as libc/fmtmsg.h)
 (libc/fnmatch.h as libc/fnmatch.h)
 (libc/ftw.h as libc/ftw.h)
-(libc/getopt.c as libc/getopt.c)
 (libc/getopt.h as libc/getopt.h)
 (libc/glob.c as libc/glob.c)
 (libc/glob.h as libc/glob.h)
diff --git a/share/libc/__fc_runtime.c b/share/libc/__fc_runtime.c
index e266ed9e0f44b3b747f56ccb0fd83adfbbb733c8..8012c4447456d79545b5a3163207a32838eb29c5 100644
--- a/share/libc/__fc_runtime.c
+++ b/share/libc/__fc_runtime.c
@@ -26,7 +26,6 @@
 #include "ctype.c"
 #include "errno.c"
 #include "fenv.c"
-#include "getopt.c"
 #include "glob.c"
 #include "inttypes.c"
 #include "locale.c"
diff --git a/share/libc/getopt.c b/share/libc/getopt.c
deleted file mode 100644
index 472a8c9455e0aa36897a083bf3451f9580ff81af..0000000000000000000000000000000000000000
--- a/share/libc/getopt.c
+++ /dev/null
@@ -1,28 +0,0 @@
-/**************************************************************************/
-/*                                                                        */
-/*  This file is part of Frama-C.                                         */
-/*                                                                        */
-/*  Copyright (C) 2007-2023                                               */
-/*    CEA (Commissariat à l'énergie atomique et aux énergies              */
-/*         alternatives)                                                  */
-/*                                                                        */
-/*  you can redistribute it and/or modify it under the terms of the GNU   */
-/*  Lesser General Public License as published by the Free Software       */
-/*  Foundation, version 2.1.                                              */
-/*                                                                        */
-/*  It is distributed in the hope that it will be useful,                 */
-/*  but WITHOUT ANY WARRANTY; without even the implied warranty of        */
-/*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         */
-/*  GNU Lesser General Public License for more details.                   */
-/*                                                                        */
-/*  See the GNU Lesser General Public License version 2.1                 */
-/*  for more details (enclosed in the file licenses/LGPLv2.1).            */
-/*                                                                        */
-/**************************************************************************/
-
-#include "getopt.h"
-__PUSH_FC_STDLIB
-
-//int optind = 1;
-
-__POP_FC_STDLIB