I do not want to mine Groestl right now, but I want to have the option for those in the future. I still need cgminer working. Oh, I am running 13.12, editing main post.