diff --git a/coq.ico b/coq.ico
new file mode 100644
index 0000000000..2417ee7260
Binary files /dev/null and b/coq.ico differ
diff --git a/windows/create_installer_windows.sh b/windows/create_installer_windows.sh
index b9564d2da1..903307aedc 100755
--- a/windows/create_installer_windows.sh
+++ b/windows/create_installer_windows.sh
@@ -459,10 +459,13 @@ fi
 
 # Copy some files from source
 cp source/coq/LICENSE .
-cp source/coqide/ide/coqide/coq.ico .
+# cp source/coqide/ide/coqide/coq.ico .
 mkdir -p files/bin
-cp source/coqide/ide/coqide/coq.ico files/bin/
-cp source/coq-compcert/LICENSE coq-compcert-license.txt
+# cp source/coqide/ide/coqide/coq.ico files/bin/
+# cp source/coq-compcert/LICENSE coq-compcert-license.txt
+cp ../coq.ico files/bin/
+touch coq-compcert-license.txt
+touch coq-vst-license.txt
 if [ -n "$NSIS_VST_CHECK" ]
 then
   cp source/$vst_pkg/LICENSE coq-vst-license.txt