diff --git a/doc/notes.txt b/doc/notes.txt
index 96cbea7f..14487f51 100644
--- a/doc/notes.txt
+++ b/doc/notes.txt
@@ -90,6 +90,7 @@ TODO:
 - HTTPS warning
 - Safari: scope doesn't show while CRT in use
 - recording video indicator
+- verilog: support VGA/multisync monitor?
 
 
 WEB WORKER FORMAT
diff --git a/scripts/sync-tools.sh b/scripts/sync-tools.sh
index 430535a9..253d6ff8 100755
--- a/scripts/sync-tools.sh
+++ b/scripts/sync-tools.sh
@@ -4,4 +4,5 @@
 VERSION=`git tag | tail -1`
 DESTPATH=$RSYNC_PATH/
 git archive --format tar.gz --prefix 8bitworkshop- HEAD tools/ > release/8bitworkshop-tools.tgz
+git archive --format zip --prefix 8bitworkshop- HEAD tools/ > release/8bitworkshop-tools.zip
 rsync --stats -rpilvz --chmod=a+rx -e "ssh -p 2222" ./release  $DESTPATH/
diff --git a/src/ui.ts b/src/ui.ts
index 4abd06d8..01f3f78e 100644
--- a/src/ui.ts
+++ b/src/ui.ts
@@ -708,7 +708,7 @@ function setupBreakpoint(btnid? : string) {
 }
 
 function _pause() {
-  if (platform.isRunning()) {
+  if (platform && platform.isRunning()) {
     platform.pause();
     console.log("Paused");
   }