diff --git a/devTools/embed_favicon.bat b/devTools/embed_favicon.bat
new file mode 100644
index 0000000000000000000000000000000000000000..8dff88d85086c522c90072646e64514bf4312a82
--- /dev/null
+++ b/devTools/embed_favicon.bat
@@ -0,0 +1,5 @@
+@echo off
+pushd %~dp0
+embed_favicon.py
+popd
+pause
diff --git a/devTools/embed_favicon.py b/devTools/embed_favicon.py
index 4c48e7fcc47c7e4763c38e6ed8739687b2e86d86..4b59bb93be8597b5a4bdcd45d58dc8d43a00d7f9 100755
--- a/devTools/embed_favicon.py
+++ b/devTools/embed_favicon.py
@@ -56,6 +56,7 @@ if __name__ == "__main__":
     size_from_filename = re.compile(r'([0-9]+)\....$')
     favicons_html = []
     for fp in favicons_paths:
+        print('Found favicon source file "%s".'%(fp))
         # get mimetype by file extension
         mimetype = ext2mimetype[fp[-4:]]
         if (mimetype == 'image/x-icon'):
@@ -74,7 +75,8 @@ if __name__ == "__main__":
         )
 
     # modify header file
-    with open(header_html_path,'r+') as hf:
+    with open(header_html_path,'r+',encoding='utf-8') as hf:
+        print('Rewriting "%s"...'%(header_html_path))
         lines_in = hf.readlines() # read whole file
         lines_out = []
         for line in lines_in:
@@ -87,3 +89,5 @@ if __name__ == "__main__":
         hf.seek(0) # move to beginning of file
         hf.write(''.join(lines_out)) # overwrite with new data
         hf.truncate() # remove trailing old data
+        
+    print('Finished.')