--- ./lib/getopt.c	2017-01-02 11:35:39.000000000 +0000
+++ ../getopt.c	2018-03-01 10:44:56.641412033 +0000
@@ -210,7 +210,7 @@
 }
 
 extern int strcmp (const char *, const char *);
-extern size_t strlen (const char *);
+extern size_t __attribute__((overloadable)) strlen (const char *);
 
 #endif /* not __GNU_LIBRARY__ */