add declaration for ServantManager::mutex_, change file attribute to -x