doc/papers/proof/modules.txt is neither a file nor a directory