Trying to build the docs for the attached Hello, world, MrDocs can't find `<cstdint>` unless `--use-system-libc` is passed. [Hello, world for MrDocs.zip](https://github.com/user-attachments/files/20901277/Hello.world.for.MrDocs.zip)