fix how we find the directory of the Cryptol distribution

closes #113