revex-mankrik not found