Modify mutex.s