diff --git a/.travis.yml b/.travis.yml
index f7e112fb..8ac6eab3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -12,7 +12,7 @@ cache:
   - $HOME/.stack
   - $HOME/.agda
   - $HOME/.local
-  - $HOME/agda-master
+  - $HOME/agda-$AGDA_VERSION
   - $HOME/agda-stdlib-master
   - $HOME/agda2html-master
   - $HOME/acknowledgements-master
diff --git a/Makefile b/Makefile
index 1ce12b93..d9c99a35 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,6 @@ agdai := $(shell find src tspl -type f -name '*.agdai')
 markdown := $(subst tspl/,out/,$(subst src/,out/,$(subst .lagda,.md,$(agda))))
 PLFA_DIR := $(shell dirname $(realpath $(lastword $(MAKEFILE_LIST))))
 AGDA2HTML_FLAGS := --verbose --link-to-local-agda-names --use-jekyll=out/
-AGDA_VERSION := 2.5.4.2
 
 test: build
 	ruby -S bundle exec htmlproofer _site