=== modified file 'mandos'
--- mandos	2016-06-03 17:27:03 +0000
+++ mandos	2016-06-03 18:24:51 +0000
@@ -2174,7 +2174,8 @@
             priority = self.server.gnutls_priority
             if priority is None:
                 priority = "NORMAL"
-            gnutls.priority_set_direct(session._c_object, priority,
+            gnutls.priority_set_direct(session._c_object,
+                                       priority.encode("utf-8"),
                                        None)
             
             # Start communication using the Mandos protocol