This removes the need to load these decoders via mj_loadAllPluginLibraries when using MuJoCo built with CMake. Other plugins are unchanged. PiperOrigin-RevId: 885555524 Change-Id: I20aa5b6c55b678398345d49cb1c47667ae2bebcf
PiperOrigin-RevId: 878041994 Change-Id: I6e7f6876e65fd2184ff5637d4268644cefcabecf
PiperOrigin-RevId: 875705083 Change-Id: I21403d84abd56ef72de915bddc724fe3efa506e6
PiperOrigin-RevId: 875194599 Change-Id: I2cccc683d69a217f1817e70d16bc1815e366d00c