Fix directory name of repository clone

After the python rewrite the directory name of the cloned repository was different then expected. This commit reverts to the previous behavior.