diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index eaf9cbf..1d8a689 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -46,16 +46,16 @@ jobs:
           path: jmeos
 
       - name: Build + install the JMEOS jar as org.jmeos:meos:1.0
-        # Mirror MobilitySpark and MobilityFlink: stage the derived catalog + libmeos into the
-        # JMEOS checkout and build it (jmeos-core's generate-sources emits GeneratedFunctions
-        # from the catalog), then install the plain jar/JMEOS.jar under the org.jmeos:meos:1.0
-        # coordinates the binding depends on. Tests are skipped — JMEOS's own CI exercises its
-        # FFI suite; only the jar is needed here.
+        # JMEOS's own tools/regen-from-catalog.sh is the single runnable definition of this
+        # build — it stages the catalog and libmeos, and jmeos-core's generate-sources emits
+        # GeneratedFunctions from the catalog. tools/refresh-from-master.sh reaches it through
+        # the same script, so the CI path and the by-hand path cannot drift. Naming LIBMEOS
+        # runs JMEOS's FFI suite against the libmeos this job just built, which is what tells a
+        # jar that merely compiles from one whose generated surface answers.
         run: |
-          mkdir -p jmeos/codegen/input
-          cp "${{ steps.provision.outputs.catalog-path }}" jmeos/codegen/input/meos-idl.json
-          cp /usr/local/lib/libmeos.so jmeos/jmeos-core/src/
-          mvn -B -f jmeos/pom.xml clean install -Dmaven.test.skip=true
+          CATALOG="${{ steps.provision.outputs.catalog-path }}" \
+          LIBMEOS=/usr/local/lib/libmeos.so \
+            jmeos/tools/regen-from-catalog.sh
           mvn -B install:install-file \
             -Dfile=jmeos/jar/JMEOS.jar \
             -DgroupId=org.jmeos -DartifactId=meos -Dversion=1.0 -Dpackaging=jar
diff --git a/tools/refresh-from-master.sh b/tools/refresh-from-master.sh
index 26e9155..2c966df 100755
--- a/tools/refresh-from-master.sh
+++ b/tools/refresh-from-master.sh
@@ -10,7 +10,6 @@
 #
 # All of refresh-jvm-chain.sh's options pass through, e.g.:
 #   tools/refresh-from-master.sh --mdb ~/src/MobilityDB   # refresh against a local MobilityDB branch
-#   tools/refresh-from-master.sh --skip-tests             # regenerate + compile, skip the test run
 #
 # MEOSAPI=<path> uses an existing MEOS-API checkout (any branch); otherwise MEOS-API master is
 # cloned into the work dir. WORK_DIR overrides the scratch location (default <repo>/.meos-chain).