Filename: //lib/x86_64-linux-gnu///libmpdec++.so.3

./Ninja\.