diff --git i/Makefile w/Makefile
index 01e1f6a..3c33670 100644
--- i/Makefile
+++ w/Makefile
@@ -77,7 +77,7 @@ else
 endif
 
 YOSYS_VER := 0.7
-GIT_REV := $(shell cd $(YOSYS_SRC) && git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
+GIT_REV := 61f6811
 OBJS = kernel/version_$(GIT_REV).o
 
 # set 'ABCREV = default' to use abc/ as it is