diff --git a/README.md b/README.md
index 133857547..c22753fb4 100644
--- a/README.md
+++ b/README.md
@@ -95,7 +95,7 @@ such as:
 To build HermitCore from source (without compiler), the repository with its submodules has to be cloned.
 
 ```bash
-$ git clone git@github.com:hermitcore/libhermit.git
+$ git clone git@github.com:hermitcore/libhermit.git HermitCore
 $ cd HermitCore
 $ git submodule init
 $ git submodule update
diff --git a/cmake/local-cmake.sh b/cmake/local-cmake.sh
index 949f4f793..39206ea1b 100644
--- a/cmake/local-cmake.sh
+++ b/cmake/local-cmake.sh
@@ -15,7 +15,7 @@ DIR="$(basename ${ARCHIVE} .tar.gz)"
 relpath() {
 	# workaround because Ubuntu seems to use an ancient realpath version
 	# https://stackoverflow.com/questions/2564634/convert-absolute-path-into-relative-path-given-a-current-directory-using-bash#comment12808306_7305217
-	python -c "import os.path; print(os.path.relpath('${2:-$PWD}','$1'))";
+	python3 -c "import os.path; print(os.path.relpath('${2:-$PWD}','$1'))";
 }
 
 HERMIT_TOP="$(git rev-parse --show-toplevel)"