New versions of mujoco no longer allow global coordinates. We therefore convert them to local ones. The original files are kept as reference.
