Perform rescan for github.com/google-deepmind/mujoco/pull/2914?