diff --git a/Makefile b/Makefile
index a10c759..034f101 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@
 #endif
 
 GIT_COMMIT := $(shell git rev-list -1 HEAD)
-VERSION := 0.8.11
+VERSION := 0.8.12
 
 ifneq ($(VENDOR),)
 GOBUILDOPTS :=-v -mod vendor
diff --git a/bacillus/pushbuild.sh b/bacillus/ci_pushbuild.sh
similarity index 100%
rename from bacillus/pushbuild.sh
rename to bacillus/ci_pushbuild.sh