=== modified file 'mandos'
--- mandos	2019-09-03 19:06:41 +0000
+++ mandos	2019-11-03 19:09:41 +0000
@@ -1,4 +1,4 @@
-#!/usr/bin/python3 -b
+#!/usr/bin/python3 -bI
 # -*- mode: python; after-save-hook: (lambda () (let ((command (if (fboundp 'file-local-name) (file-local-name (buffer-file-name)) (or (file-remote-p (buffer-file-name) 'localname) (buffer-file-name))))) (if (= (progn (if (get-buffer "*Test*") (kill-buffer "*Test*")) (process-file-shell-command (format "%s --check" (shell-quote-argument command)) nil "*Test*")) 0) (let ((w (get-buffer-window "*Test*"))) (if w (delete-window w))) (progn (with-current-buffer "*Test*" (compilation-mode)) (display-buffer "*Test*" '(display-buffer-in-side-window)))))); coding: utf-8 -*-
 #
 # Mandos server - give out binary blobs to connecting clients.

=== modified file 'mandos-ctl'
--- mandos-ctl	2019-09-03 19:06:41 +0000
+++ mandos-ctl	2019-11-03 19:09:41 +0000
@@ -1,4 +1,4 @@
-#!/usr/bin/python3 -bb
+#!/usr/bin/python3 -bbI
 # -*- after-save-hook: (lambda () (let ((command (if (fboundp 'file-local-name) (file-local-name (buffer-file-name)) (or (file-remote-p (buffer-file-name) 'localname) (buffer-file-name))))) (if (= (progn (if (get-buffer "*Test*") (kill-buffer "*Test*")) (process-file-shell-command (format "%s --check" (shell-quote-argument command)) nil "*Test*")) 0) (let ((w (get-buffer-window "*Test*"))) (if w (delete-window w))) (progn (with-current-buffer "*Test*" (compilation-mode)) (display-buffer "*Test*" '(display-buffer-in-side-window)))))); coding: utf-8 -*-
 #
 # Mandos Monitor - Control and monitor the Mandos server

=== modified file 'mandos-monitor'
--- mandos-monitor	2019-11-03 18:58:44 +0000
+++ mandos-monitor	2019-11-03 19:09:41 +0000
@@ -1,4 +1,4 @@
-#!/usr/bin/python3 -bb
+#!/usr/bin/python3 -bbI
 # -*- mode: python; coding: utf-8 -*-
 #
 # Mandos Monitor - Control and monitor the Mandos server