Links for mujoco-mojo