Index: server/buildpkgs/Makefile
==================================================================
--- server/buildpkgs/Makefile
+++ server/buildpkgs/Makefile
@@ -5,11 +5,11 @@
 	rm -rf tclpkgs-src-current
 
 tclpkgs-src-current: platform build_all.sh create_teapot common.sh */build.sh */patches
 	rm -rf tclpkgs-src-current
 	mkdir tclpkgs-src-current
-	cp -rp platform build_all.sh create_teapot common.sh tclpkgs-src-current/
+	cp -rp platform build_all.sh create_teapot common.sh certs.pem tclpkgs-src-current/
 	for dir in */; do \
 		if test ! -f "$$dir/build.sh"; then continue; fi; \
 		mkdir "tclpkgs-src-current/$$dir"; \
 		cp "$$dir/build.sh" "tclpkgs-src-current/$$dir"; \
 		if test -d "$$dir/patches"; then cp -rp "$$dir/patches" "tclpkgs-src-current/$$dir"; fi; \