gitdir: ../../../.git/modules/src/ThirdParty/Catch
