removed superfluous dir patience/why3