diff --git a/configure.ac b/configure.ac
index f8ab2e6b3..f28684c88 100644
--- a/configure.ac
+++ b/configure.ac
@@ -6,7 +6,8 @@
 
 #AC_INIT([Verilator],[#.### YYYY-MM-DD])
 #AC_INIT([Verilator],[#.### devel])
-AC_INIT([Verilator],[3.925 devel])
+AC_INIT([Verilator],[3.925 devel],[https://www.veripool.org/verilator],
+        [verilator],[https://www.veripool.org/verilator])
 # When releasing, also update header of Changes file
 # and commit using "devel release" or "Version bump" message