/debian/bin/
../
dafny