diff --git a/util/htmlminimizer.py b/util/htmlminimizer.py
old mode 100644
new mode 100755
index de5947d..ab6e1e3
--- a/util/htmlminimizer.py
+++ b/util/htmlminimizer.py
@@ -18,6 +18,8 @@ for line in open(input_file, encoding="utf-8").readlines():
# round-robin image servers
if "