Fix wrong path to Git repo internals.