diff --git a/.config b/.config
index 155bc71..b4452b0 100644
--- a/.config
+++ b/.config
@@ -2,6 +2,7 @@ DOF_VERSION="Unreleased"
 ISABELLE_VERSION="Isabelle2019: June 2019"
 ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
 DOF_URL="https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
-DOF_ARTIFACT_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF"
+DOF_ARTIFACT_DIR="releases/Isabelle_DOF/Isabelle_DOF"
+DOF_ARTIFACT_HOST="artifacts.logicalhacking.com"
 AFP_DATE="afp-2019-06-17"
 AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
diff --git a/install b/install
index bbbba4f..8ee0660 100755
--- a/install
+++ b/install
@@ -214,7 +214,7 @@ install_and_register(){
       \\\\renewcommand{\\\\dof@version}{$DOF_VERSION} \
       \\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL} \
       \\\\renewcommand{\\\\dofurl}{$DOF_URL} \
-      \\\\renewcommand{\\\\dof@artifacturl}{$DOF_ARTIFACT_URL}|" \
+      \\\\renewcommand{\\\\dof@artifacturl}{https://$DOF_ARTIFACT_HOST/$DOF_ARTIFACT_DIR}|" \
       "$DIR/DOF-core.sty"
 
     DIR="$ISABELLE_HOME_USER/DOF/latex"