It seems from the build instructions and the autotools build system, MPS is either recommended to be included as source file directly or built as a static library. Is it recommended to build it as a shared library and link it dynamically? I'm asking this as shared libraries are a recommended way for distributing libraries as it provides benefits of reduce binary size and easier security support, but I wonder whether it's a good idea for MPS.