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