Rename session mutex to session_mutex