kfraenkel is not found!