I've tried it, but it still wouldn't work; I receive the same error message. This happens, as well, if I remove cadabra as in the previous comment and also remove the cadabra git folder, and download and install everything from the sources again.
Finally I tried to install from the deb file, but dpkg says that the architecture doesn't match (required amd64 vs local i386).
Can anything be done about this? Thank you!