update mujoco binary