Change debug library usage in session.ml