diff --git a/unix/mpconfigport_coverage.h b/unix/mpconfigport_coverage.h
index 5fd5b82c1b5f8c6237b6e4148e2fa3fb9e645682..2d7ace2459a822ad3344fd44c80acd614ee38070 100644
--- a/unix/mpconfigport_coverage.h
+++ b/unix/mpconfigport_coverage.h
@@ -29,6 +29,7 @@
 
 #include <mpconfigport.h>
 
+#define MICROPY_PY_BUILTINS_HELP       (1)
 #define MICROPY_PY_URANDOM_EXTRA_FUNCS (1)
 #define MICROPY_PY_IO_BUFFEREDWRITER (1)
 #undef MICROPY_FSUSERMOUNT