Fix how we locate mujoco.so.
Fix how we locate mujoco.so.

PiperOrigin-RevId: 451415130
Change-Id: I8b461788973a4e45b41f87267b69338c1e11f8c9

deepmind/dm_robotics,deepmind/dm_robotics,deepmind/dm_robotics