So if I am correct Mana-toolkit can't be installed with apt-get, and I need help where to find it, I am doing a course and I cant continue without it.