KSteak requires an installed steak-package. Steak is available on http://www.tm.informatik.uni-frankfurt.de/~razi/steak/steak.html.