I would go to the original program and uninstall everything associated with Cahemate and then reinstall everything again along with the Mathlib and PRC programs. Hope that does the trick.