[examples] Make make work again

I used:
```
cd examples && dune exec --context=jscoq+32bit -- make
```

to get the coq-pkg file.

examples/Makefile

@@ -7,7 +7,7 @@ WORD_SIZE ?= 32
 
 CONTEXT = jscoq+$(WORD_SIZE)bit
 COQC = ../_build/install/$(CONTEXT)/bin/coqc
-JSCOQ_CLI = ../_build/$(CONTEXT)/dist/cli/cli.cjs
+JSCOQ_CLI = ../_build/$(CONTEXT)/dist-cli/cli.cjs
 ###
 
 all: examples.coq-pkg examples.symb.json sqrt_2.html nahas_tutorial.html
@@ -16,8 +16,10 @@ examples.coq-pkg: ${addprefix _build/, nahas_tutorial.vo sqrt_2.vo} $(JSCOQ_CLI)
 	$(JSCOQ_CLI) build --package examples --rootdir _build --no-recurse \
 		--top Examples
 
+# XXX Fixme, symb generation broken
 examples.symb.json: examples.coq-pkg
-	$(JSCOQ_CLI) run --require-pkg $< --inspect $@
+	touch examples.symb.json
+#	$(JSCOQ_CLI) run --require-pkg $< --inspect $@
 
 _build/%.v: %.v
 	mkdir -p _build && cp $< _build/