diff --git a/Makefile b/Makefile
index 0a4f0d5..baf65c9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: symbiyosys ghdl-formal NOCACHE
+.PHONY: symbiyosys ghdl-formal all NOCACHE
 
 # Support for make environment variable NOCACHE
 ifeq (NOCACHE,$(lastword $(MAKECMDGOALS)))
diff --git a/ghdl-formal.Dockerfile b/ghdl-formal.Dockerfile
index 420f360..77945a0 100644
--- a/ghdl-formal.Dockerfile
+++ b/ghdl-formal.Dockerfile
@@ -3,7 +3,6 @@
 FROM symbiyosys as symbiyosys-ghdl
 
 ARG LLVM_VER="7"
-#ARG GNAT_VER="8"
 
 RUN apt-get update -qq && \
     DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \