reactivated custom mutexes in malloc