gitdir: ../../.git/modules/3rdparty/catch
