Marking it builtin would be a simple change to the binary.
Those libraries are called by DllImports generally, and Mono doesn't have a way to distinguish them from the application's libraries. That's why I'd prefer to embed the information in the binaries.