diff --git a/libc/isystem/tinygetopt.h b/libc/isystem/tinygetopt.h
new file mode 100644
index 000000000..59b701162
--- /dev/null
+++ b/libc/isystem/tinygetopt.h
@@ -0,0 +1 @@
+#include "third_party/getopt/getopt.internal.h"
diff --git a/third_party/getopt/getopt.internal.h b/third_party/getopt/getopt.internal.h
index 9ef787473..faeb198f6 100644
--- a/third_party/getopt/getopt.internal.h
+++ b/third_party/getopt/getopt.internal.h
@@ -16,7 +16,7 @@ COSMOPOLITAN_C_START_
 extern char *optarg;
 extern int optind, opterr, optopt, optreset;
 
-int getopt(int, char *const[], const char *) paramsnonnull();
+int getopt(int, char *const[], const char *) paramsnonnull() libcesque;
 
 COSMOPOLITAN_C_END_
 #endif /* COSMOPOLITAN_GETOPT_H_ */