diff --git a/ci/dox.sh b/ci/dox.sh
index 88d882dcacdd3cbf28304e7b37d156150c3621b8..85e92439484c6a80db71b7039e3a3184cac0f3bb 100644
--- a/ci/dox.sh
+++ b/ci/dox.sh
@@ -27,7 +27,7 @@ cat ci/landing-page-footer.html >> target/doc/index.html
 
 # If we're on travis, not a PR, and on the right branch, publish!
 if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ]; then
-  pip install ghp-import --user $USER
+  pip install ghp_import --install-option="--prefix=$HOME/.local"
   $HOME/.local/bin/ghp-import -n target/doc
   git push -qf https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages
 fi