Filename: //usr/lib/gcc/x86_64-linux-gnu//10/include/avx512vbmi2intrin.h

./Ninja\.