Filename: //usr/include/c++//10/optional

./Ninja\.