diff --git a/build.sh b/build.sh
index 5560e5f..b04b1fe 100755
--- a/build.sh
+++ b/build.sh
@@ -27,11 +27,11 @@
 
 set -e 
 
-VERSION=${1:-2019}
+VERSION=${1:-2020}
 SESSIONS=${2:-"HOL"}
 DOCKERUID=${3:-`id -u`}
 
-LATEST="2019"
+LATEST="2020"
 
 # Generate base image
 docker build -t logicalhacking/debian4isabelle debian4isabelle