Get rid of (now unused) disk_util_mutex