git_path(): be aware of file relocation in $GIT_DIR