Add file path for a very uncommon git repo name

Change-Id: If177db3f25dc7afbc8de2324a489b8e4c35e8412