rectified error in mutex .S files